// Spiegelmann's Office Monster Carnival

void portal(Player @player, Portal @portal) {
int map = player.getVariable("monster_carnival");
if (map != -1) {
player.changeMap(map);
player.deleteVariable("monster_carnival");
} else {
player.changeMap(103000000);
}
}